Atrx<flox> http://identifiers.org/mgd/MGI:3528480 Atrx<tm1Pick> targeted mutation 1, Richard Gibbons Atrx<tm1Rjg> MGI:3528480 Atrx<Fl> Conditional ready|No functional change Atrx<loxP>